Thực đơn
Thomas_Callister_Hales Sự nghiệp toán họcHales, trước đây ở đại học Michigan, bây giờ là giáo sư Mellon về toán ở đại học Pittsburgh, ủng hộ việc hình thức hóa toán học để đảm bảo tính chặt chẽ trong một kỷ nguyên khi mà các chứng minh trở nên ngày càng phức tạp và máy tính dần trở nên cần thiết trong việc xác minh tính đúng đắn của các chứng minh. Dự án gần đây của Hales, có tên dự án Flyspeck, nhằm hình thức hóa chứng minh của ông cho giả thuyết Kepler sử dụng phần mềm chứng minh định lý HOL-Light.
Vào năm 2012, ông trở nhà hội viên hội toán học Mỹ (fellow of the American Mathematical Society).[4]
Thực đơn
Thomas_Callister_Hales Sự nghiệp toán họcLiên quan
Thomas Edison Thomas Müller Thomas Tuchel Thomas Jefferson Thomas Paine Thomas Friedman Thomas Vermaelen Thomas More Thomas Carlyle Thomas CranmerTài liệu tham khảo
WikiPedia: Thomas_Callister_Hales http://code.google.com/p/flyspeck/ http://www.math.pitt.edu/~thales/ http://www.umich.edu/~urecord/9899/Sep16_98/hales.... http://data.bibliotheken.nl/id/thes/p131826204 http://www.genealogy.ams.org/html/id.phtml?id=7759... http://www.ams.org/profession/fellows-list https://genealogy.math.ndsu.nodak.edu/id.php?id=77... https://catalogue.bnf.fr/ark:/12148/cb16694033t https://data.bnf.fr/ark:/12148/cb16694033t https://www.idref.fr/150224389